Crate miden_processor

Modules

• crypto
• math
• utils

Structs

• AdviceInputs
  Inputs container to initialize advice provider for the execution of Miden VM programs.
• AsmOpInfo
  Contains assembly instruction and operation index in the sequence corresponding to the specified AsmOp decorator. This index starts from 1 instead of 0.
• AssemblyOp
  Contains information corresponding to an assembly instruction (only applicable in debug mode).
• ChipletsTrace
• DecoderTrace
• Digest
• ExecutionTrace
  Execution trace which is generated when a program is executed on the VM.
• Kernel
  A list of procedure hashes defining a VM kernel.
• MemAdviceProvider
  An in-memory [AdviceProvider] implementation which uses BTreeMaps as its backing storage.
• Program
  A program which can be executed by the VM.
• ProgramInfo
  A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
• QuadExtension
  Represents an element in a quadratic extension of a StarkField.
• RangeCheckTrace
• RecAdviceProvider
  An in-memory [AdviceProvider] implementation with support for data access recording.
• StackInputs
  Initial state of the stack to support program execution.
• StackOutputs
  Output container for Miden VM programs.
• StackTrace
• VmState
  VmState holds a current process state information at a specific clock cycle.
• VmStateIterator
  Iterator that iterates through vm state at each step of the execution. This allows debugging or replaying ability to view various process state at each clock cycle. If the execution returned an error, it returns that error on the clock cycle it stopped.

Enums

• AdviceSource
  Specifies the source of the value(s) to be pushed onto the advice stack.
• DeserializationError
  Defines errors which can occur during deserialization.
• ExecutionError
• Ext2InttError
• InputError
• Operation
  A set of native VM operations.

Constants

• FMP_MIN
  Memory addresses for procedure locals start at 2^30.
• SYSCALL_FMP_MIN
  Memory address for procedure locals within a SYSCALL starts at 2^31.

Traits

• AdviceProvider
  Defines behavior of an advice provider.

Functions

• execute
  Returns an execution trace resulting from executing the provided program against the provided inputs.
• execute_iter
  Returns an iterator which allows callers to step through the execution and inspect VM state at each execution step.

Type Definitions

• Word
  A group of four field elements in the Miden base field.